Semanticos

dbpedia > calculabilidad efectiva

formatos disponibles
Trier par

Wikipedia Article

Problème de la décision

En logique mathématique, on appelle problème de la décision le fait de déterminer de façon mécanique, par un algorithme, si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à ...

Voulez-vous accéder à plus de contenu éducatif?

Lancer session Rejoignez un cours
x

Ajouter à Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Aide du jeu
Juegos de anatomía
Selecciona nivel educativo